\documentclass[12pt]{article}
\usepackage[russian]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{epstopdf}
\usepackage{epstopdf}
\usepackage{hyperref}
\usepackage{wrapfig}

\begin{document}
\section{Задача 1}
  \subsection{Язык 1}
  Этот язык, очевидно не является регулярным. Рассмотрим известный нерегулярный язык $L_1 = a^kb^k$. (Его нерегулярность широко известна). Пусть требуемый язык регулярен. Рассмотрим его ДКА. Возьмём, пойдём от начальной вершины этого ДКА по букве a, и изменим начальную вершину на полученную. Получившийся в результате этой операции ДКА будет распознавать язык $b^kc^k$, а это по сути тот же язык $L_1$ (с изменённым алфавитом)
  \subsection{Язык 2}
  Этот язык, очевидно, нерегулярен. Пусть он нерегулярен. Возьмём число $p$ (из условия леммы о расширении. Рассмотрим строку $ab^pab^pab^p$.
  Cтрока, которую можно повторять имеет вид $b^c$. По лемме языку принадлежит строка $ab^pb^cab^pab^p$. Очевидно в каждом экземпляре $w$ по 1й букве a. Строка начинается буквой a, следовательно $w = ab^d$. Последняя a продолжается $p-1$й b, значит $w=ab^p$. Но очевидно наша строка не есть $www$. Противоречие
  \newpage
  \subsection{Язык 3}
  \begin{figure}[!b]
    \center
    \includegraphics[width=0.7\textwidth]{o1.pdf}
  \end{figure}
  Этот язык, очевидно регулярен. Вот его регулярное выражение $(a\cup b)*aa$. А вот ДКА:


  \newpage
  \section{Задача 2}
  \subsection {Пункт a}
  Данному языку принадлежат пустое слово, все слова с ровно двумя a и все слова с чётным 0 b. По два примера слов: abab и aabb принадлежат языку; aaa и a не принадлежат.
  \begin{figure}[!b]
    \center
    \includegraphics[width=0.5\textwidth]{o2.pdf}
  \end{figure}
    \newpage
  \subsection {Пункт б}
  Данному языку принадлежат  слова, либо начинающиеся на ab либо начинающиеся на ba и кончающиеся на b. Примеры подходящих слов: ab, bab. Других: baa, aa
  \begin{figure}[!b]
    \center
    \includegraphics[width=0.6\textwidth]{o3.pdf}
  \end{figure}
\end{document}
